-->
cast away analysis. There are any references about cast away analysis in here. you can look below.